" W. Rance Cleaveland" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Категория: Cs_Computer science, CsLn_Lecture notes

2.30 Mb

#2

Tools and Algorithms for the Construction and Analysis of Systems, 5 conf., TACAS '99

W. Rance Cleaveland

Категория: Cs_Computer science, CsLn_Lecture notes

3.34 Mb